../../../../linux-generic/include/odp/plat/ticketlock_types.h